Model-based Theory Combination
نویسندگان
چکیده
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals into the search space. This paper introduces a combination method that incrementally reconciles models maintained by each theory. We evaluate the practicality and efficiency of this approach.
منابع مشابه
A Model for Developing the Best Strategy Combination Based on Balanced Scorecard, Fuzzy Net Present Value and Game Theory
Increasing competition has caused that organizations using evaluation, control and performance improvement try to maintain their supremacy in global markets. Balanced Scorecard model is one of the ways that can help organizations achieve this goal. In this study, the limitations of selecting performance criteria and executive strategies in balanced scorecard are discussed and two tools of curre...
متن کاملRanking Efficient Decision Making Units Using Cooperative Game Theory Based on SBM Input-Oriented Model and Nucleolus Value
In evaluating the efficiency of decision making units (DMUs) by Data Envelopment Analysis (DEA) models, may be more than one DMU has an efficiency score equal to one. Since ranking of efficient DMUs is essential for decision makers, therefore, methods and models for this purpose are presented. One of ranking methods of efficient DMUs is cooperative game theory. In this study, Lee and Lozano mod...
متن کاملAdaptive Speed Control of Three-Phase Induction Servo-drives Based on Feedback Linearization Theory
In this paper, based on feedback linearization control method and using a special PI (propotational integrator) regulator (IP) in combination with a feed-forward controller, a three-phase induction servo-drive is speed controlled. First, an observer is employed to estimate the rotor d and q axis flux components. Then, two input-output state variables are introduced to control the dynamics of to...
متن کاملEffective strategies for the establishment of integration model for succession planning and career progression path of iranian azad universities administrators (Qualitative Research Based Grounded Theory Approach)
• AbstractThis research was done to provide effective strategies for the establishment of integration model for succession planning and career progression path of azad universities administrators from the perspective of higher education administrators and professionals based on the systematic theoretical design of Strauss and Corbin grounded theory. Accordingly, using a targeted sampling method...
متن کاملThe Generalized Maxwell-Stefan Model Coupled with Vacancy Solution Theory of Adsorption for Diffusion in Zeolites
It seems using the Maxwell-Stefan (M-S) diffusion model in combination with the vacancy solution theory (VST) and the single-component adsorption data provides a superior, qualitative, and quantitative prediction of diffusion in zeolites. In the M-S formulation, thermodynamic factor (Г) is an essential parameter which must be estimated by an adsorption isotherm. Researchers usually utilize the ...
متن کاملDesign a Model for Developing Leadership Competency for Steel Industry Managers Using the Grounded Theory
The purpose of this research was to make and provide a model for developing the competence of the leadership of the steel industry managers. The methodology of this research was applied and exploratory in terms of the purpose and data gathering method was mixed. In qualitative stage, after a deep interview, data gathering has been done based on the Grounded Theory and by using a questionnaire o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 198 شماره
صفحات -
تاریخ انتشار 2008